Issue549.agda:4,8-8
Issue549.agda:4,8: Not a valid identifier: M.R
<EOF><ERROR>
...
